integrality theorem

整性定理